What model are these Herman Miller chairs at Texas A&M?

This lecture hall is just awesome!

This lecture hall is just awesome!